Witness Generation for JSON Schema

JSON Schema is a schema language for documents, based on complex combination of structural operators, Boolean operators (negation included), and recursive variables. The static analysis documents comprises practically relevant problems, including satisfiability, inclusion, equivalence. These problems can be reduced to witness generation: given schema, generate an element the --- if it exists report failure otherwise. equivalence have been shown decidable. However, no generation algorithm has yet formally described. We contribute first, direct generation, study its effectiveness efficiency in experiments over several collections, thousands real-world schemas.